Performance Veri cation Using Partial Evaluation and Interval Analysis
نویسندگان
چکیده
Permission to make digital/hard copy of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for fee or commercial advantage, the copyright notice, the title of the publication, and its date appear, and notice is given that copying is by permission of the ACM, Inc. To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee. 1997 ACM/0-89791-849-5/97/0003/$3.50 Performance Veri cation Using Partial Evaluation and Interval Analysis
منابع مشابه
SAT-based Veri cation of Conditional Partial Order Graphs
The Conditional Partial Order Graph (CPOG) Model introduced recently is a novel technique for speci cation and synthesis of asynchronous controllers. It combines advantages of both Petri nets and FSM-based approaches and is capable of modelling systems with a high degree of concurrency and multiple choice. The paper extends the basic model of CPOGs to handle dynamic evaluation of internal contr...
متن کاملVerifying a smart design of TCAP a synergetic experience
An optimisation of the SS No. 7 Transport Capabilities Procedures is veri ed by specifying both the original and the optimised TCAP in CRL, generating transition systems for both using the CRL tool set, and checking weak bisimulation equivalence of the two using the C sar/Ald ebaran tool set, these steps being part of a iterative process of speci cation, re nement and veri cation. As a result, ...
متن کاملCombining Error - Driven Pruning and Classi cationfor Partial
We present a new approach to partial parsing of natural language texts that relies on machine learning methods. The approach combines corpus-based grammar induction with a very simple pattern-matching algorithm and an optional constituent veri cation step. The grammar induction algorithm acquires a set of rules for each level of linguistic analysis using a new technique for errordriven pruning ...
متن کاملThe FERET Veri cation
Two critical performance characterizations of biometric algorithms including face recognition are identi cation and veri cation In face recognition FERET is the de facto standard evaluation methodology Identi cation performance of face recog nition algorithms on the FERET tests has been previously reported In this paper we report on veri cation performance obtained from the Sep FERET test Re su...
متن کاملTimed Protocol Veri cation for Estelle-Speci ed Protocols
This paper presents a new model, which is named Timed Communicating State Machine (TCSM), for specifying protocols that incorporate timed properties as part of their speci cations. The TCSM model is similar to the Extended Communicating Finite State Machine (ECFSM) model. The major extension is providing an additional mechanism, i.e., a time interval attribute, for describing the timed properti...
متن کامل